Hybrid-minimal-invasive Ösophagektomie beim Ösophaguskarzinom – MIRO-Trial

Minimal Invasive Monitoring

Using software monitors to measure embedded or realtime applications is a difficult task because of their impact on code size and execution time. Our approach for a minimal invasive monitor shows how to minimize the impact by adapting the monitor to the monitoring task. We present techniques to reduce the monitor overhead to the most necessary.

O-Minimal Hybrid Systems

A uni ed approach to decidability questions for veri cation algorithms of hybrid systems is obtained by the construction of a bisimulation. Bisimulations are nite state quotients whose reachability properties are equivalent to those of the original in nite state hybrid system. In this paper, we introduce the notion of o-minimal hybrid systems, which are initialized hybrid systems whose relevant...

Minimal-Invasive Indexintegration - Transparente Datenbankbeschleunigung

Aktuelle Datenbanksysteme bieten dem Nutzer eine enorme Funktionsvielfalt [12, 8]. Selbst sehr spezielle Gebiete wie z. B. Geodatentypen [9, 14] werden unterstützt. Abhängig vom verwendeten Datenbanksystem können diese Fähigkeiten durch einen Nutzer noch erweitert werden. Beispiele hierfür wären Funktionen und nutzerdefinierte Datentypen [12, 8]. Alle diese Erweiterungen sollten natürlich nicht...

Structural insights into Parkin substrate lysine targeting from minimal Miro substrates

Hereditary Parkinson's disease is commonly caused by mutations in the protein kinase PINK1 or the E3 ubiquitin ligase Parkin, which function together to eliminate damaged mitochondria. PINK1 phosphorylates both Parkin and ubiquitin to stimulate ubiquitination of dozens of proteins on the surface of the outer mitochondrial membrane. However, the mechanisms by which Parkin recognizes specific pro...

Miro semantics for security